normal order reduction การใช้

• This is like normal order reduction, but call by need manages to avoid the duplication of work inherent in normal order reduction using " sharing ".
• This is like normal order reduction, but call by need manages to avoid the duplication of work inherent in normal order reduction using " sharing ".